TSTP Solution File: AGT034^1 by CARINE---0.734